#ifndef IPI_H
#define IPI_H
extern int init_pending_ipi_buf(int cpu);
extern void destroy_pending_ipi_buf(int cpu);
extern void preempt_safe_send_ipi(cpumask_t mask, void (*func)(void*), void* data, int sync);
extern int insert_pending_ipi(int cpu, cpumask_t mask, void (*func)(void*), void* data, int sync);
extern bool pending_ipi_buf_empty(int cpu);

#endif
